Theoretical Computer Science

Module	Title	LV Type	CP	LV	Dates
Algorithmic Game Theory	Algorithmic Game Theory	Fach-/Modulprüfung	6	491953
Algorithmic Learning Theory	Algorithmische Lerntheorie	Fach-/Modulprüfung	6	488808
	Algorithmische Lerntheorie (Übung)	Übung		496469	Do 08:00-09:00 AH II (2350\|111) (×1) Fr 10:00-11:00 AH II (2350\|111) (×1) Fr 14:30-16:00 5052 (2356\|052) (×1) Fr 14:30-16:00 5056 (2356\|056) (×8) Fr 14:30-16:00 Seminarraum i7, Raum 4116 (2353\|116) (×1)
	Algorithmische Lerntheorie	Vorlesung		496468	Mo 12:30-14:00 AH III (2350\|314.1) (×10) Di 08:30-10:00 AH III (2350\|314.1) (×10)
Algorithmic Model Theory I	Algorithmische Modelltheorie	Fach-/Modulprüfung	8	488928
Algorithms for Politics	Algorithmics for Politics	Fach-/Modulprüfung	6	490173
Analysis of Algorithms	Analyse von Algorithmen	Fach-/Modulprüfung	8	489038
Compiler Construction	Compilerbau	Fach-/Modulprüfung	6	488864
Concurrency Theory	Concurrency Theory	Fach-/Modulprüfung	6	488685
	Concurrency Theory	Übung		495717	Mo 14:30-16:00 AH I (2350\|028) (×8) Do 14:30-16:00 AH I (2350\|028) (×2)
	Concurrency Theory	Vorlesung		495716	Di 14:30-16:00 AH II (2350\|111) (×8) Do 14:30-16:00 AH II (2350\|111) (×9)
Foundations of the UML	Theoretical Foundations of the UML	Fach-/Modulprüfung	6	491963
	Theoretical Foundations of the UML (FUML)	Übung		495718	Do 08:30-10:00 AH I (2350\|028) (×9)
	Theoretical Foundations of the UML (FUML)	Vorlesung		495719	Di 10:30-12:00 AH III (2350\|314.1) (×9) Do 10:30-12:00 AH I (2350\|028) (×13)
Graph Algorithms	Algorithmische Graphentheorie	Fach-/Modulprüfung	6	489143
Graph Decompositions and Algorithmic Applications	Graph Decompositions and Algorithmic Applications	Fach-/Modulprüfung	6	492506
Infinite Computations and Games	Infinite Computations and Games	Fach-/Modulprüfung	6	489207
	Infinite Computations and Games	Übung		485028	Mi 14:30-16:00 5052 (2356\|052) (×12)
	Infinite Computations and Games	Vorlesung		485276	Mo 10:30-12:00 5056 (2356\|056) (×13) Do 14:00-15:00 AH II (2350\|111) (×1) Fr 11:00-12:00 AH II (2350\|111) (×1)
Logic and Games	Logik und Spiele	Fach-/Modulprüfung	8	490773
Logic and Games	Logik und Spiele	Fach-/Modulprüfung	8	490772
Mathematical Logic II	Mathematische Logik II	Fach-/Modulprüfung	8	488924
	Mathematische Logik II	Übung		494455	Di 14:15-15:45 AH I (2350\|028) (×11) Di 14:30-16:00 AH I (2350\|028) (×1) Mi 08:30-12:00 AH II (2350\|111) (×1) Do 10:30-12:30 AH II (2350\|111) (×1)
	Mathematische Logik II	Vorlesung		494454	Mo 10:30-12:00 IV (1010\|141) (×12) Di 12:30-14:00 AH I (2350\|028) (×13)
Model Checking	Model Checking	Fach-/Modulprüfung	6	491945
Modeling and Verification of Probabilistic Systems	Modellierung und Verifikation probabilistischer Systeme	Fach-/Modulprüfung	6	489807
	Modellierung und Verifikation probabilistischer Systeme	Übung		495723	Do 12:30-14:00 AH II (2350\|111) (×1) Do 16:30-18:00 AH I (2350\|028) (×12)
	Modellierung und Verifikation probabilistischer Systeme	Vorlesung		495722	Mo 12:30-14:00 AH I (2350\|028) (×10) Do 12:30-14:00 AH II (2350\|111) (×11)
Module Complexity Theory	Komplexitätstheorie	Fach-/Modulprüfung	6	489177
	Übung zur Vorlesung Komplexitätstheorie	Übung		496467	Fr 12:30-14:00 AH I (2350\|028) (×13)
	Komplexitätstheorie	Vorlesung		496466	Do 12:30-14:00 AH VI (2356\|051) (×15) Fr 12:30-14:00 AH I (2350\|028) (×1)
Parameterized Algorithms	Parametrisierte Algorithmen	Fach-/Modulprüfung	8	491946
Post-quantum cryptography	Post-quantum cryptography	Fach-/Modulprüfung	6	507718
Post-quantum cryptography	Post-quantum cryptography	Vorlesung/Übung		507533	Mo 16:30-18:00 AH V (2356\|050) (×13) Mi 16:30-18:00 AH I (2350\|028) (×8) Do 16:30-18:00 AH III (2350\|314.1) (×9)
Probabilistic Programming	Probabilistische Programmierung	Fach-/Modulprüfung	6	489064
Satisfiability Checking	Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	489132
Satisfiability Checking	Erfüllbarkeitsüberprüfung	Vorlesung/Übung		485197	Mo 08:30-10:00 AH III (2350\|314.1) (×13) Di 10:30-11:15 AH VI (2356\|051) (×12) Fr 08:30-10:00 AH II (2350\|111) (×13)